es{-}info(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$kind($e$)$,\,$(state when $e$)$,\,$val($e$)$\rangle$